function played(url){
    var div = document.getElementById('div1');
    div.innerHTML = '<embed src="/js/'+url+'" loop="0" autostart="true" hidden="true"></embed>';
    var emb = document.getElementsByTagName('EMBED')[0];
    if (emb) {
        div = document.getElementById('div2');
        div.innerHTML = 'loading: '+emb.src;
        setTimeout(function(){div.innerHTML='';},100);
    }
}